Predicate Calculus — synonyms, definition

1. predicate calculus (Noun)

1 synonym
functional calculus
1 definition

predicate calculus (Noun) — A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).

3 types of
formal logic mathematical logic symbolic logic
1 part
quantification
The dictionary of synonyms, antonyms, definitions and similar words. Choose language: English French German Italian Spanish Portuguese Dutch Slovenian 2024 Dsynonym.com | Load time 0.0472 s. Terms of use Privacy policy Contacts